INNER MODEL THEORETIC GEOLOGY
نویسندگان
چکیده
منابع مشابه
Inner Model Theoretic Geology
One of the basic concepts of set theoretic geology is the mantle of a model of set theory V: it is the intersection of all grounds of V, that is, of all inner models M of V such that V is a set-forcing extension of M . The main theme of the present paper is to identify situations in which the mantle turns out to be a fine structural extender model. The first main result is that this is the case...
متن کاملProof-Theoretic versus Model-Theoretic Consequence
M A ⇔df (∀M) [ (∀B ∈ M)(M B) ⇒ M A ]. Thus consequence is transmission of truth from the premisses to the conclusion, where ‘transmission’ is understood in the simple declarative sense of classical implication: if the premisses are true (in a model-theoretic structure), then so is the conclusion. This means in particular that truth is conceptually prior to consequence, as the latter is explaine...
متن کاملModel-theoretic Conventionalism
By “model-theoretic conventionalism” I mean a strong form of semanticism concerning logic. Roughly, the view is that logic (indeed, any logic) is neither more nor less than a theory in a strict model-theoretic sense. Logic is a theory just as, say, ZermeloFraenkel set theory or Peano arithmetic are theories, semantically speaking: they are specified by a certain set of theses and principles exp...
متن کاملModel-Theoretic Expressivity Analysis
In the preceding chapter the problem of comparing languages was considered from a behavioral perspective. In this chapter we develop an alternative, modeltheoretic approach. In this approach we compare the expressiveness of probabilistic-logic (pl-) languages by considering the models that can be characterized in a language. Roughly speaking, one language L is at least as expressive as another ...
متن کاملModel Theoretic Semanticsfor
limited distribution notice This report has been submitted for publication outside of ITC and will probably be copyrighted if accepted for publication. It has been issued as a Technical Report for early dissemination of its contents. In view of thetransfer of copyright to the outside publisher, its distribution outside of ITC prior to publication should be limited to peer communications and spe...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: The Journal of Symbolic Logic
سال: 2016
ISSN: 0022-4812,1943-5886
DOI: 10.1017/jsl.2015.64